61. Parallel problem solving from nature - PPSN VI ;
Author: Marc Schoenauer [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
Classification :
QA76
.
58
.
C69
2000
62. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
63. Practical aspects of declarative languages :
Author: PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: ;Deklarative Programmiersprache,Boston Mass., 2000>,Deklarative Programmiersprache.
64. Practical aspects of declarative languages :
Author: José Júlio Alferes, Moa Johansson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
Classification :
QA76
.
76
.
C65
65. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
66. Principles and Practice of Constraint Programming :
Author: edited by Christian Schulte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
67. Principles and Practice of Constraint Programming CP 2004 :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer Appl. in Administrative Data Processing.,Computer science.,Information systems.,Logic design.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
6-76
.
66
68. Principles and Practice of Constraint Programming -- CP '95 :
Author: edited by Ugo Montanari, Francesca Rossi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Logic design.
69. Principles and practice of constraint programming--CP'97 :
Author: Gert Smolka (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
70. Programming with constraints: an introduction
Author: Marriott, Kim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Constraint programming )Computer science(
Classification :
QA
76
.
63
.
M37
1998
71. Progress in Artificial Intelligence :
Author: edited by Miguel Filgueiras, Luís Damas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
72. Progress in artificial intelligence :
Author: 8th Portuguesse Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 ; Ernesto Costa, Amilcar Cardoso (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- umetna inteligenca -- avtomatsko sklepanje -- dokazovanje teoremov -- strojno učenje -- sistemi učenja -- predstavitev znanja -- načini učenja -- inteligentni učni sistemi -- kakovostno sklepanje -- zborniki
73. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
Author: Pavel Brazdil, Alipio Jorge, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
2258
74. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
75. Recent Advances in Intelligent Paradigms and Applications
Author: edited by Ajith Abraham, Lakhmi C. Jain, Janusz Kacprzyk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
76. Recent advances in constraints
Author: Javier Larrosa, Barry O'Sullivan (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
Classification :
Q340
.
J65
2011
77. Recent advances in constraints
Author: / Boi Faltings ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic programming, -- Congresses,a05,Constraint programming (Computer science)--Congresses.
Classification :
QA76
.
612
.
J65
2004
78. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
79. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
80. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
